Oriat, Catherine: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Detecting equivalence of modular specifications with categorical diagrams

Catherine Oriat

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 431 KB

english, 2000

2

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 964 KB

english, 2010

3

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Inferring Approximated Models for Systems Engineering

Petrenko, Alexandre, Li, Keqin, Groz, Roland, Hossen, Karim, Oriat, Catherine

Year:

2014

Language:

english

File:

PDF, 263 KB

english, 2014

4

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Automatic Model Inference of Web Applications for Security Testing

Hossen, Karim, Groz, Roland, Oriat, Catherine, Richier, Jean-Luc

Year:

2014

Language:

english

File:

PDF, 270 KB

english, 2014

5

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Automatic Generation of Test Drivers for Model Inference of Web Applications

Hossen, Karim, Groz, Roland, Oriat, Catherine, Richier, Jean-Luc

Year:

2013

Language:

english

File:

PDF, 223 KB

english, 2013

6

[IEEE 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) - Antwerp, Belgium (2014.02.3-2014.02.6)] 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE) - Model inference and security testing in the spacios project

Buchler, Matthias, Hossen, Karim, Mihancea, Petru Florin, Minea, Marius, Groz, Roland, Oriat, Catherine

Year:

2014

Language:

english

File:

PDF, 197 KB

english, 2014

7

[ACM Press the First International Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the First International Workshop on Model Inference In Testing - MIIT '10 - Angluin style finite state machine inference with non-optimal counterexamples

Irfan, Muhammad Naeem, Oriat, Catherine, Groz, Roland

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

8

[ACM Press the 13th International Workshop - Gothenburg, Sweden (2018.05.28-2018.05.29)] Proceedings of the 13th International Workshop on Automation of Software Test - AST '18 - Revisiting AI and testing methods to infer FSM models of black-box systems

Groz, Roland, Simao, Adenilso, Bremond, Nicolas, Oriat, Catherine

Year:

2018

Language:

english

File:

PDF, 131 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски